Ordinal notations based on a weakly Mahlo cardinal
نویسنده
چکیده
منابع مشابه
Operational set theory and small large cardinals
Article history: Received 5 December 2006 Revised 21 April 2008 Available online 11 April 2009 A new axiomatic system OST of operational set theory is introduced in which the usual language of set theory is expanded to allow us to talk about (possibly partial) operations applicable both to sets and to operations. OST is equivalent in strength to admissible set theory, and a natural extension of...
متن کاملThe Harrington-shelah Model with Large Continuum
We prove from the existence of a Mahlo cardinal the consistency of the statement that 2ω = ω3 holds and every stationary subset of ω2∩cof(ω) reflects to an ordinal less than ω2 with cofinality ω1. Let us say that stationary set reflection holds at ω2 if for any stationary set S ⊆ ω2∩cof(ω), there is an ordinal α ∈ ω2∩cof(ω1) such that S∩α is stationary in α (that is, S reflects to α). In a clas...
متن کاملIndestructibility and stationary reflection
If κ < λ are such that κ is a strong cardinal whose strongness is indestructible under κ-strategically closed forcing and λ is weakly compact, then we show that A = {δ < κ | δ is a non-weakly compact Mahlo cardinal which reflects stationary sets} must be unbounded in κ. This phenomenon, however, need not occur in a universe with relatively few large cardinals. In particular, we show how to cons...
متن کاملStationary Reflection and Level by Level Equivalence
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jonsson cardinal is weakly compact. On the other hand, w...
متن کاملAn Equiconsistency Result on Partial Squares
We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ+ ∩ cof(κ) carries a partial square. A famous theorem in set theory is the result that the failure of the square principle κ, for a regular uncountable cardinal κ, is equiconsistent with a Mahlo cardinal. Solovay p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 29 شماره
صفحات -
تاریخ انتشار 1990